941. Topics in mathematical system theory
Author: Kalman, Rudolf Emil, 0391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، System analysis,، Machine theory,، Algebras, Linear
Classification :
QA
402
.
K32
942. Topics in the theory of computation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
943. Topics in the theory of computation :
Author: edited by Marek Karpinski and Jan van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
Classification :
QA267
.
I56
1983
944. Topics in the theory of computation
Author: / edited by Marek Karpinski and Jan van Leeuwen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
Classification :
QA
,
267
,.
I56
,
1983
945. #Topics in the theory of computation
Author: #edited by Marek Karpinski and Jan van Leeuwen
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
Classification :
#
QA
،#.
I56
،#
1985
946. Toward deep neural networks :
Author: Yunong Zhang, Dechao Chen, Chengxu Ye
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Neural networks (Computer science),BUSINESS & ECONOMICS / Statistics,COMPUTERS / General,COMPUTERS / Machine Theory,Neural networks (Computer science)
Classification :
QA76
.
87
.
Z47537
2019eb
947. Trace theory for automatic hierarchical verification of speed-independent circuits
Author: David L. Dill.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
Classification :
TK7868
.
S9
D385
9999
948. Tree automata and languages
Author: edited by Maurice Nivat, Andreas Podelski
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Sequential machine theory,، Trees )Graph theory(,، Programming languages )Electronic computers(
Classification :
QA
267
.
5
.
S4
T74
1992
949. Word proccessing in groups
Author: / David B.A. Epstein, with James W.Cannon...{et al.],Epstein
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Sequential machine theory,Group theory,Formal languages
Classification :
QA
267
.
5
.
S4E67
1992
950. Word processing in groups
Author: Epstein, David B. A.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory,، Group theory,، Formal languages
Classification :
QA
267
.
5
.
S4E6
951. Words, Semigroups & Transductions :
Author: editors, Masami Ito, Gheorghe Păun, Sheng Yu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Group theory.,Machine theory.,Formal languages.,Group theory.,Machine theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
Classification :
QA267
.
3
.
W67
2001eb
952. Words, languages, and combinatorics III
Author: editors, Masami Ito, Teruo Imaoka.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Semigroups, Congresses.
953. agent systems :-Formation control of multi
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Multiagent systems. ; Formation control (Machine theory) ; Graph theory. ; Rigidity (Geometry) ; Automatic control ; Mathematical models. ; Robotics ; Mathematical models. ;
954. century of automata theory-A half
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory ; Congresses. ;
955. concurrency theory-CONCUR 2007
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Parallel processing (Electronic computers) ; Machine theory. ;
956. Discrete structures and automata theory
Author: Dube, Rakesh
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory
Classification :
QA
76
.
9
.
M35
D38
2006
957. introduction to language and the theory of computation
Author: John C.Martin
Library: Vali Asr University Central Library (Kerman)
Subject: sequential machine theory,computable functions
Classification :
QA
267
.
5
.
S4M29
1996
958. Introduction to languages and the theory of computation
پدیدآورنده : John C. Martin
موضوع : Sequential machine theory,Computable functions
۶ نسخه از این کتاب در ۵ کتابخانه موجود است.
959. Introduction to the theory of computation
پدیدآورنده : Michael Sipser
موضوع : Machine theory,Computational complexity
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
960. state techniques :-Finite
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Sequential machine theory. ;
